family of sets proofs